Motor variable

A function of a motor variable is a function with arguments and values in the split-complex number plane, much as functions of a complex variable involve ordinary complex numbers. The split-complex numbers lie in the motor plane D, a term referring to algebraic kinematics developed by William Kingdon Clifford.

For example,

f(z) = u(z)%2B \jmath \ v(z) ,\ z = x %2B\jmath y ,\ x,y \in R ,\quad j^2 = %2B1,\quad u(z),v(z) \in R.

Analogous to planar mapping with ordinary complex number variables, functions depending on a motor variable provide a tool for mathematical models.

Contents

Elementary functions of a motor variable

Let D = \{ z = x %2B y \jmath�: x,y \in R \}, the split-complex plane. The following exemplar functions f have domain and range in D:

The action of a hyperbolic versor u = \exp(aj) = \cosh a %2B \jmath \sinh a is combined with translation to produce the affine transformation

f(z) = uz %2B c \ .When c = 0, the function is equivalent to a squeeze mapping.

The squaring function has no analogy in ordinary complex arithmetic. Let

f(z) = z^2 \ and note that f(-1)=f(j)= f(-j) = 1. \

The result is that the four quadrants are mapped into one, the identity component:

U_1 = \{z \in D�: \mid y \mid < x \}.

Note that z z^* = 1 \ forms the unit hyperbola x^2 - y^2 = 1 . Thus the reciprocation

f(z) = 1/z = z^*/\mid z \mid^2 \text{where} \mid z \mid^2 = z z^*

involves the hyperbola as curve of reference as opposed to the circle in C.

On the extended complex plane one has the class of functions called Mobius transformations. For the motor variable the analogous functions are constructed with inversive ring geometry:

f(z) = \frac {az %2B b} {cz %2B d}.

The extension of the split-complex plane to make these mappings bijective is a part of the subject of inversive split-complex geometry.

On the ordinary complex plane, the Cayley transform carries the upper half-plane to the unit disk, thus bounding it. A mapping of the identity component U1 into a rectangle provides a comparable bounding action:

f(z) = \frac {1}{z %2B 1/2}, \quad f:U_1 \to T

where T = {z = x + j y : |y| < x < 1 or |y| < x − 1 when 1<x<2}.

Exp, log, and square root

The exponential function carries the whole plane D into U1:

e^x = \sum_{n=0}^\infty {x^n \over n!} = \sum_{n=0}^\infty \frac {x^{2n}} {(2n)!} %2B \sum_{n=0}^\infty \frac {x^{2n%2B1}} {(2n%2B1)!} = \cosh x %2B \sinh x .

Thus when x = bj , then ex is a hyperbolic versor. For the general motor variable z = a + bj , one has

e^z = e^a (\cosh b %2B j \ \sinh b) \ .

In the theory of functions of a motor variable special attention should be called to the square root and logarithm functions. In particular, the plane of split-complex numbers consists of four connected components and the set of singular points that have no inverse: the diagonals z = x ± x j, x ∈ R. The identity component, namely {z : x > |y| }, is the range of the squaring function and the exponential. Thus it is the domain of the square root and logarithm functions. The other three quadrants do not belong in the domain because square root and logarithm are defined as one-to-one inverses of the squaring function and the exponential function.

D-holomorphic functions

The function f is called D-holomorphic when

0 = (∂/∂x − j ∂/∂y) ( u + j v)
= ux − j2 vy + j (vx − uy ).

The consequent partial differential equations are called "Scheffers' conditions" by Isaak Yaglom who credits Georg Scheffers' work of 1893. See Duren's text for the use of similar differential operators to establish the relation of harmonic function theory to analytic functions on the ordinary complex plane C .It is apparent that the components u and v of a D-holomorphic function f satisfy the wave equation, associated with D'Alembert, whereas components of C-holomorphic functions satisfy Laplace's equation.

La Plata lessons

At the National University of La Plata in 1935, J.C. Vignaux, an expert in convergence of infinite series, contributed four articles on the motor variable to the university’s annual periodical. He is the sole author of the introductory one, and consulted with his department head A. Durañona y Vedia on the others. In "Sobre las series de numeros complejos hiperbolicos" he says (p.123):

This system of hyperbolic complex numbers [motor variables] is the direct sum of two fields isomorphic to the field of real numbers; this property permits explication of the theory of series and of functions of the hyperbolic complex variable through the use of properties of the field of real numbers.

He then proceeds, for example, to generalize theorems due to Cauchy, Abel, Mertens, and Hardy to the domain of the motor variable.

In the primary article, cited below, he considers D-holomorphic functions, and the satisfaction of d’Alembert’s equation by their components. He calls a rectangle with sides parallel to the diagonals y = x and y = − x, an isotropic rectangle.He concludes his abstract with these words:

Isotropic rectangles play a fundamental role in this theory since they form the domains of existence for holomorphic functions, domains of convergence of power series, and domains of convergence of functional series.

Vignaux completed his series with a six page note on the approximation of D-holomorphic functions in a unit isotropic rectangle by Bernstein polynomials.While there are some typographical errors as well as a couple of technical stumbles in this series, Vignaux succeeded in laying out the main lines of the theory that lies between real and ordinary complex analysis. The text is especially impressive as an instructive document for students and teachers due to its exemplary development from elements. Furthermore, the entire excursion is rooted in “its relation to Émile Borel’s geometry” so as to underwrite its motivation.

Bireal variable

In 1892 Corrado Segre recalled the tessarine algebra as bicomplex numbers. Naturally the subalgebra of real tessarines arose and came to be called the bireal numbers.

In 1946 U. Bencivenga published an essay on the dual numbers and the split-complex numbers where he used the term bireal number. He also described some of the function theory of the bireal variable. The essay was studied at University of British Columbia in 1949 when Geoffry Fox wrote his master’s thesis "Elementary function theory of a hypercomplex variable and the theory of conformal mapping in the hyperbolic plane". On page 46 Fox reports "Bencivenga has shown that a function of a bireal variable maps the hyperbolic plane into itself in such a manner that, at those points for which the derivative of a function exists and does not vanish, hyperbolic angles are preserved in the mapping".

G. Fox proceeds to provide the polar decomposition of a bireal variable and discusses hyperbolic orthogonality. Starting from a different definition he proves on page 57

Theorem 3.42 : Two vectors are mutually orthogonal if and only if their unit vectors are mutually reflections of one another in one or another of the diagonal lines through 0.

Fox focuses on "bilinear transformations" w = \frac {\alpha z %2B \beta} {\gamma z %2B \delta} \quad \text{where} \quad \alpha, \beta, \gamma, \delta are bireal constants. To cope with singularity he augments the plane with a single point at infinity (page 73).

Among his novel contributions to function theory is the concept of an interlocked system. Fox shows that for a bireal k satisfying

(a - b)2 < |k| < (a + b)2

the hyperbolas

| z | = a2 and | z – k | = b2

do not intersect (form an interlocked system). He then shows that this property is preserved by bilinear transformations of a bireal variable.

Polynomial factorization

Two staples of introductory algebra include factorization of polynomials and the fundamental theorem of algebra. With the adoption of motor variables the traditional expectations are countered. The reason is that (D, + , × ) does not form a unique factorization domain. Substitute structures for the motor plane were provided by Poodiack and LeClair in 2009. They prove three versions of the fundamental theorem of algebra where a polynomial of degree n has n2 roots counting multiplicity. To provide an appropriate concept for multiplicity, they construct a matrix which contains all the roots of a polynomial. Furthermore, their method allows derivation of a similar theorem for polynomials with tessarine coefficients. The article in The College Mathematics Journal uses the term "perplex number" for a motor variable, and the term "hyperbolic number" for a tessarine. A basic example of the non-unique factorization is

(z - 1)(z %2B 1) = z^2 - 1 = (z - j)(z %2B j)

exhibiting the set {1, −1, j, −j } of four roots to the second degree polynomial.

References